propositional calculus перевод

• лог. пропозициональное исчисление, исчисление высказываний

• constructive propositional calculus:    конструктивное исчисление высказываний, конструктивное пропозициональное исчисление
• extended propositional calculus:    матем. расширенное исчисление высказываний, расширенное пропозициональное исчисление
• many-valued propositional calculus:    многозначное пропозициональное исчисление

Примеры

In his best known work, he showed that the classical propositional calculus could be derived from one axiom and one rule, both expressed using the Sheffer stroke.
В своей самой известной работе, он показал, что классическое исчисление высказываний может быть получено из одной аксиомы и правила, которые выражаются с помощью штриха Шеффера.